Horvitz–Thompson estimator